The ''Notre Dame Journal of Formal Logic'' is a quarterly peer-reviewed scientific journal covering the

foundations of mathematics Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathe ...

and related fields of

mathematical logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

, as well as

philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in peop ...

. It was established in 1960 and is published by

Duke University Press Duke University Press is an academic publisher and university press affiliated with Duke University. It was founded in 1921 by William T. Laprade as The Trinity College Press. (Duke University was initially called Trinity College). In 1926 D ...

on behalf of the

University of Notre Dame The University of Notre Dame du Lac, known simply as Notre Dame ( ) or ND, is a private Catholic university, Catholic research university in Notre Dame, Indiana, outside the city of South Bend, Indiana, South Bend. French priest Edward Sorin fo ...

. The

editors-in-chief An editor-in-chief (EIC), also known as lead editor or chief editor, is a publication's editorial leader who has final responsibility for its operations and policies. The highest-ranking editor of a publication may also be titled editor, managing ...

are Curtis Franks and

Anand Pillay Anand Pillay (born 7 May 1951) is a British mathematician and logician working in model theory and its applications in algebra and number theory. Biography Pillay studied as an undergraduate at the University of Oxford, obtaining a Bachel ...

(University of Notre Dame).

Abstracting and indexing

The journal is abstracted and indexed in: According to the ''

Journal Citation Reports ''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collec ...

'', the journal has a 2012

impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ...

of 0.431.

References

External links

*
Journal page
at Notre Dame University
Journal page
at

Project Euclid Project Euclid is a collaborative partnership between Cornell University Library and Duke University Press which seeks to advance scholarly communication in theoretical and applied mathematics and statistics through partnerships with independent an ...

Mathematical logic Mathematics journals Logic journals Philosophy journals Philosophy of mathematics literature Duke University Press academic journals Quarterly journals Publications established in 1960 {{math-journal-stub University of Notre Dame academic journals